.b
(CURRENT LISP THESIS
.b 7
.lm 9
.rm 62
.p -9,1,1
CARTWRIGHT R. Jr, Formal Semantics of LISP with Applications to
Program Correctness, Stanford University, Artificial Intelligence
Laboratory, AIM-257, January 1975
.p -9,1,1
GREUSSAY P., Contribution a la definition interpretative et a
l'implementation des lambda-langages, These d'Etat, Universite
Paris 7, Novembre 1977, Rapport L.I.T.P ←#7
.p -9,1,1
LECOUFFE P., Etude et Definition d'une Machine Langage LISP, These
de 3eme Cycle, Universite de Lille, Decembre 1977
.p -9,1,1
LUX A., Etude d'un modele abstrait pour une machine LISP et de son
implementation, These de 3eme Cycle, Universite de Grenoble, Mars
1975
.p -9,1,1
NEWEY M. C., Formal Semantics of LISP with Applications to
Program Correctness, Stanford University, Artificial Intelligence
Laboratory, AIM-257, January 1975
.p -9,1,1
SAMET H., Automatically Proving the Correctness of Translations
Involving Optimized Code, Stanford University, Artificial Intelligence
Laboratory, AIM-259, May 1975
.p -9,1,1
TERASHIMA M., Algorithms Used in an Implementation of HLISP,
Information Science Laboratory, Faculty of Science, University
of Tokyo, January 1975
.p -9,1,1
WERTZ H., Un Systeme de Comprehension, d' Amelioration et de Correction
de Programmes Incorrects, These de 3eme Cycle, Universite Paris 6,
Juillet 1978
.b 7
###############################WRITE#MORE#LISP#THESIS)